# Copyright 2021, Régis Décamps
# SPDX-License-Identifier: BSD-3-Clause

java_test(
    name = "CharClassesQuickcheck",
    size = "medium",
    timeout = "moderate",
    srcs = [
        "CharClassesGen.java",
        "CharClassesQuickcheck.java",
    ],
    deps = [
        ":IntCharSetGen",
        "//jflex/src/main/java/jflex/base",
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core/unicode",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)

java_test(
    name = "IntCharSetQuickcheck",
    size = "small",
    timeout = "short",
    srcs = [
        "IntCharSetQuickcheck.java",
    ],
    runtime_deps = [
        ":IntCharSetGen",
    ],
    deps = [
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core/unicode",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)

java_test(
    name = "IntCharSetTest",
    size = "small",
    timeout = "short",
    srcs = ["IntCharSetTest.java"],
    deps = [
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core/unicode",
        "//third_party/com/google/truth",
    ],
)

java_library(
    name = "IntCharSetGen",
    testonly = True,
    srcs = [
        "IntCharGen.java",
        "IntCharSetGen.java",
    ],
    deps = [
        "//jflex/src/main/java/jflex/chars",
        "//jflex/src/main/java/jflex/core/unicode",
        "//jflex/src/main/java/jflex/logging",
        "//jflex/src/test/java/jflex/chars",
        "//third_party/com/google/truth",
        "//third_party/com/pholser/quickcheck",
    ],
)
